On the Relationship between Quantified Reflective Logic and Quantified Default Logic
نویسنده
چکیده
ON THE RELATIONSHIP BETWEEN QUANTIFIED REFLECTIVE LOGIC AND QUANTIFIED DEFAULT LOGIC Frank M. Brown Abstract: Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold. This is done by representing both the fixed-point equation for Reflective Logic and the fixed-point equation for Default both as necessary equivalences in the Modal Quantificational Logic Z. and then inserting universal quantifiers before the defaults. The two resulting systems, called Quantified Reflective Logic and Quantified Default Logic, are then compared by deriving metatheorems of Z that express their relationships. The main result is to show that every solution to the equivalence for Quantified Default Logic is a strongly grounded solution to the equivalence for Quantified Reflective Logic. It is further shown that Quantified Reflective Logic and Quantified Default Logic have exactly the same solutions when no default has an entailment condition.
منابع مشابه
On the Relationships among Quantified Autoepistemic Logic, Its Kernel, and Quantified Reflective Logic
A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if...
متن کاملNon-Monotonic Reasoning with Quantified Boolean Constraints
In this paper, we define and investigate the complexity of several nonmonotonic logics with quantified Boolean formulas as constraints. We give quantified constraint versions of the constraint programming formalism of Marek, Nerode, and Remmel [15] and of the natural extension of their theory to default logic. We also introduce a new formalism which adds constraints to circumscription. We show ...
متن کاملApplying Fuzzy Logic to the Estimation of Environmental Degradation Trends in Iran
During recent years several attempts have been made to incorporate environmental and natural resources degradation into national accounts. GNP as measured by the traditional system of national accounts does not consider environmental degradation caused by inefficient exploitation of natural resources. While the complete omission of environmental impacts is not possible, there could be an optima...
متن کاملExpressing default abduction problems as quantified Boolean formulas
Abduction is the process of finding explanations for observed phenomena in accord to known laws about a given application domain. This form of reasoning is an important principle of common-sense reasoning and is particularly relevant in conjunction with nonmonotonic knowledge representation formalisms. In this paper, we deal with a model for abduction in which the domain knowledge is represente...
متن کاملDecidability of Quantified Propositional Intuitionistic Logic and S4 on Trees
Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers ∀p, ∃p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed, i.e., if h ∈ P , then h ∈ P for all h ≤ h. For propositional intuitionistic logic H, several classes of model structures are known...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007